DOT and DOP: Linearly Convergent Algorithms for Finding Fixed Points of Multi-Agent Operators

points and convergent process operators

We present a strategy for nding algebraic correctness proofs for communication systems. It is described in the setting of CRL 11], which is, roughly, ACP 2, 3] extended with a formal treatment of the interaction between data and processes. The strategy has already been applied successfully in 4] and 10], but was not explicitly identiied as such. Moreover, the protocols that were veriied in thes...

Convergence theorems of iterative approximation for finding zeros of accretive operator and fixed points problems

In this paper we propose and studied a new composite iterative scheme with certain control con-ditions for viscosity approximation for a zero of accretive operator and xed points problems in areflexive Banach space with weakly continuous duality mapping. Strong convergence of the sequencefxng dened by the new introduced iterative sequence is proved. The main results improve andcomplement the co...

Iterative algorithms for families of variational inequalities fixed points and equilibrium problems

Iterative methods for finding nearest common fixed points of a countable family of quasi-Lipschitzian mappings

We prove a strong convergence result for a sequence generated by Halpern's type iteration for approximating a common fixed point of a countable family of quasi-Lipschitzian mappings in a real Hilbert space. Consequently, we apply our results to the problem of finding a common fixed point of asymptotically nonexpansive mappings, an equilibrium problem, and a variational inequality problem for co...

An Explicit Viscosity Iterative Algorithm for Finding Fixed Points of Two Noncommutative Nonexpansive Mappings

We suggest an explicit viscosity iterative algorithm for finding a common element in the set of solutions of the general equilibrium problem system (GEPS) and the set of all common fixed points of two noncommuting nonexpansive self mappings in the real Hilbert space.